A Logic for Reasoning about Action, Preference, and Commitment
نویسنده
چکیده
In this paper, we study the logical semantics of actions, preference, and commitment. The semantics is based on the possible world models for dynamic logic of actions. A binary preference relation between possible worlds is associated with the model. Then the preference between actions are determined by comparing that of their consequences. While the preference will influence the agent’s choice of actions, commitment is a kind of actions that will change the agent’s preference. The integrated semantics make it possible to express and reasoning about the mutual relationship among these mental attitudes in a common logic.
منابع مشابه
A Logical Analysis of the Relationship between Commitment and Obligation
In this paper, we analyze the relationship between commitment and obligation from a logical viewpoint. The principle of commitment implying obligation is proven in a specific logic of action preference which is a generalization of Meyer’s dynamic deontic logic. In the proposed formalism, an agent’s commitment to goals is considered as a special kind of actions which can change her deontic prefe...
متن کاملDeductive Planning with Temporal Constraints
Temporal Action Logic is a well established logical formalism for reasoning about action and change using an explicit time representation that makes it suitable for applications that involve complex temporal reasoning. We take advantage of constraint satisfaction technology to facilitate such reasoning through temporal constraint networks. Extensions are introduced that make generation of actio...
متن کاملLogics for Cooperation , Actions and Preferences
In this thesis, a logic for reasoning about cooperative ability, actions and preferences is developed. It is an extention of a cooperation logic with actions, developed by Sauro et al., which is a modular modal logic consisting of an environment module for reasoning about actions and their effects and an agents module for reasoning about the cooperative ability of agents to perform actions. In ...
متن کاملVerifying Business Process Compliance by Reasoning about Actions
In this paper we address the problem of verifying business process compliance with norms. To this end, we employ reasoning about actions in a temporal action theory. The action theory is defined through a combination of Answer Set Programming and Dynamic Linear Time Temporal Logic (DLTL). The temporal action theory allows us to formalize a business process as a temporal domain description, poss...
متن کاملToward a Logic for Qualitative Decision Theory
We present a logic for representing and reasoning with qualitative statements of preference and normality and describe how these may interact in decision making under uncertainty. Our aim is to develop a logical calculus that employs the basic elements of classical decision theory, namely probabilities, utilities and actions, but exploits qualitative information about these elements directly fo...
متن کامل